Orchestrated session compliance
نویسندگان
چکیده
We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering capabilities and at the same time to guarantee any message from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, making a client compliant with a server, and 2) a procedure for deciding whether an orchestrator behaves in a proper way as mentioned before.
منابع مشابه
Session Types for Orchestrated Interactions
In the setting of the π-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory. This leads to extending session types with a new type operator of “speculative selection” including choices not necessarily offered by a compliant partner. We address the problem of selecting successful communicat...
متن کاملSLUG Bug: Quality Improvement With Orchestrated Testing Leads to NICU CLABSI Reduction.
OBJECTIVE Reduce central line-associated bloodstream infection (CLABSI) rates 15% over 12 months in children's hospital NICUs. Use orchestrated testing as an approach to identify important CLABSI prevention practices. METHODS Literature review, expert opinion, and benchmarking were used to develop clinical practice recommendations for central line care. Four existing CLABSI prevention strateg...
متن کاملCompliance and Subtyping in Timed Session Types
We propose an extension of session types, to formalise timed communication protocols between two participants at the endpoints of a session. We introduce a decidable compliance relation, which generalises to the timed setting the usual progress-based notion of compliance between session types. We then show a sound and complete technique to decide when a timed session type admits a compliant one...
متن کاملTimed Session Types
Timed session types formalise timed communication protocols between twoparticipants at the endpoints of a session. They feature a decidable compliance relation,which generalises to the timed setting the progress-based compliance between untimedsession types. We show a sound and complete technique to decide when a timed sessiontype admits a compliant one. Then, we show how to con...
متن کاملReliability of the myotonometer for assessment of posterior shoulder tightness.
BACKGROUND/PURPOSE The Myotonometer® is an electronic tissue compliance meter that has been used to quantify the compliance of soft tissues. The Myotonometer® may be a valuable tool to measure the effectiveness of interventions commonly used to increase tissue compliance in individuals with posterior shoulder tightness (PST). Limited data exist on reliability and responsiveness of the Myotonome...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Algebr. Meth. Program.
دوره 86 شماره
صفحات -
تاریخ انتشار 2017